In the Lucian Academy, Language Prolog will be used to help resynthesise lines of code (e.g. following program finding the program, represented by the full stop, the details are (resynthesis is) represented by the comma).  The details will be verified by checking whether they are grammatical.

types of details
- recombine relations
connections
- optimise
- verify
- rhetoric